Ad Astra Math - Gcd Is Linear Combination Of A And B